CaSPiS: A Calculus of Sessions, Pipelines and Services

Service-oriented computing is calling for novel computational models and languages with well disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems. CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner's side of a session. Several examples are presented to provide evidence of the flexibility of the chosen set of primitives. One key contribution is a fully abstract encoding of Misra et al.'s orchestration language Orc. Another main result shows that in CaSPiS it is possible to program a graceful termination of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner

Modeling Adaptation with Klaim

In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present an investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and use of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some well-known adaptation techniques: the IBM MAPE-K loop, the Accord component-based framework for architectural adaptation, and the aspect- and context-oriented programming paradigms. We illustrate our approach through a simple example concerning a data repository equipped with an automated cache mechanism

High-resolution measurements of the exited states (n,pn), (n,dn) C-12 cross sections

Measurements of C12 cross sections for the excited states (n,p 0 ) up to (n,p 4 ) and (n,d 0 ), (n,d 1 ) have been carried out. The Van de Graaff neutron generator of the EC-JRC-IRMM laboratory has been used for these measurements. A very thin tritiated target (263 μg/cm 2 ) was employed with deuteron beams energies impinging on the target in the range 2.5–4.0 MeV. Neutrons in the range 18.9–20.7 MeV were produced with an intrinsic energy spread of 0.2–0.25% FWHM. With such narrow neutron energy spread, using a high energy resolution device such as a single crystal diamond detector, several peaks from the outgoing charged particles produced by the (n,p n ), (n,d n ) and also (n,α 0 ) reactions appear in the pulse height spectrum. The peaks can be identified using the reaction Q-values. The diamond detector used for these measurements has shown an intrinsic energy resolution lower than 0.9% FWHM. The analysis of the peaks has permitted to derive the partial carbon reaction cross sections for several excited states. The results are presented in this paper with the associated uncertainties and they are compared with different versions of TENDL compilation when these data are available (e.g. versions 2009, 2010, 2011 and 2015) and also with experimental results available in the EXFOR database

The preparation of the Shutdown Dose Rate experiment for the next JET Deuterium-Tritium campaign

The assessment of the Shutdown Dose Rate (SDR) due to neutron activation is a major safety issue for fusion devices and in the last decade several benchmark experiments have been conducted at JET during Deuterium-Deuterium experiments for the validation of the numerical tools used in ITER nuclear analyses. The future Deuterium-Tritium campaign at JET (DTE2) will provide a unique opportunity to validate the codes under ITER-relevant conditions through the comparison between numerical predictions and measured quantities (C/E). For this purpose, a novel SDR experiment, described in the present work, is in preparation in the frame of the WPJET3-NEXP subproject within EUROfusion Consortium. The experimental setup has been accurately designed to reduce measurement uncertainties; spherical air-vented ionization chambers (ICs) will be used for on-line ex-vessel decay gamma dose measurements during JET shutdown following DT operations and activation foils have been selected for measuring the neutron fluence near ICs during operations. Active dosimeters (based on ICs) have been calibrated over a broad energy range (from about 30 keV to 1.3 MeV) with X and gamma reference beam qualities. Neutron irradiation tests confirmed the capability of active dosimeters of performing on-line decay gamma dose rate measurements, to follow gamma dose decay at the end of neutron irradiation as well as insignificant activation of the ICs